361. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده: Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
362. Theory and practice of natural computing :
پدیدآورنده: David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43
363. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
364. Topics in cryptology -- CT-RSA 2018 :
پدیدآورنده: Nigel P. Smart (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
365. Topics in modal analysis & testing.
پدیدآورنده: Michael Mains, Brandon J. Dilworth, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Modal analysis, Congresses.,Civil engineering, surveying & building.,Dynamics & vibration.,Maths for engineers.,Mechanics of solids.,Modal analysis.,TECHNOLOGY & ENGINEERING-- Civil-- General.
رده :
TA654
.
15
366. Traffic mining applied to police activities :
پدیدآورنده: Fabio Leuzzi, Stefano Ferilli, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data mining in law enforcement, Congresses.,Social sciences-- Methodology, Congresses.,COMPUTERS-- Database Management-- Data Mining.,Data mining in law enforcement.,Data mining.,Highway & traffic engineering.,Network hardware.,Operational research.,Social sciences-- Methodology.
رده :
QA76
.
9
.
D343
367. Transactions on Engineering Technologies :
پدیدآورنده: Sio-Iong Ao, Haeng Kon Kim, Mahyar A. Amouzegar, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering, Congresses.,Engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA5
.
W67
2017
368. Transdisciplinary multispectral modeling and cooperation for the preservation of cultural heritage :
پدیدآورنده: Antonia Moropoulou, Manolis Korres, Andreas Georgopoulos, Constantine Spyrakos, Charalambos Mouzakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cultural property-- Protection, Congresses.,Computer Appl. in Arts and Humanities.,Computer-Aided Engineering (CAD, CAE) and Design.,Geographical Information Systems/Cartography.,Image Processing and Computer Vision.,Science, Humanities and Social Sciences, multidisciplinary.,User Interfaces and Human Computer Interaction.,Cultural property-- Protection.
رده :
CC135
369. Trends and Perspectives in Modern Computational Science.
پدیدآورنده: George Maroulis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
370. Trends and applications in software engineering :
پدیدآورنده: Jezreel Mejia [and 4 others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Programming-- General.,Software engineering.,Sports & outdoor recreation.
رده :
QA76
.
758
.
I58
7th
2018eb
371. Trends in functional programming :
پدیدآورنده: edited by Meng Wang, Scott Owens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
372. U162
پدیدآورنده: by Michael Howard and Robert Hunter.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
373. Ubiquitous communications and network computing :
پدیدآورنده: Navin Kumar, R. Venkatesha Prasad (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
رده :
TK5105
.
5
374. Uncertainty management with fuzzy and rough sets :
پدیدآورنده: Rafael Bello, Rafael Falcon, José Luis Verdegay, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Fuzzy sets, Congresses.,Rough sets, Congresses.,Computer simulation.,Engineering.,Operations research.
رده :
QA248
.
5
.
I584
2017
375. Urbanization :
پدیدآورنده: Viacheslav Vasenev, Elvira Dovletyarova, Zhongqi Cheng, Tatiana V. Prokof'eva, Jean Louis Morel, Nadezhda D. Ananyeva, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Soil management, Congresses.,Soil science, Congresses.,Soil management.,Soil science.,TECHNOLOGY & ENGINEERING-- Agriculture-- General.
رده :
QH541
.
5
.
S6
376. User science and engineering :
پدیدآورنده: Natrah Abdullah, Wan Adilah Wan Adnan, Marcus Foth (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: User interfaces (Computer systems), Congresses.,User-centered system design, Congresses.,Computers and Education.,Image Processing and Computer Vision.,Information Systems Applications (incl. Internet).,User Interfaces and Human Computer Interaction.,Computers-- Computer Graphics.,Computers-- Information Technology.,Computers-- User Interfaces.,Education-- Computers & Technology.,Educational equipment & technology, computer-aided learning (CAL).,Image processing.,Information retrieval.,User interface design & usability.,User interfaces (Computer systems),User-centered system design.
رده :
QA76
.
9
.
U83
377. VLSI-SoC :
پدیدآورنده: Nicola Bombieri, Graziano Pravadelli, Masahiro Fujita, Todd Austin, Ricardo Reis (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer network architectures, Congresses.,Integrated circuits-- Very large scale integration, Congresses.,Internet of things, Congresses.,Systems on a chip, Congresses.,Computer network architectures.,Integrated circuits-- Very large scale integration.,Internet of things.,Systems on a chip.
رده :
TK7874
.
75
.
I34
2018
378. VLSI design and test :
پدیدآورنده: S. Rajaram, N.B. Balamurugan, D. Gracia Nirmala Rani, Virendra Singh (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Integrated circuits-- Very large scale integration-- Design and construction, Congresses.,Integrated circuits-- Very large scale integration-- Testing, Congresses.,Integrated circuits-- Very large scale integration-- Design and construction.,Integrated circuits-- Very large scale integration-- Testing.
رده :
TK7874
.
75
379. VR, simulations and serious games for education /
پدیدآورنده: editors: Yiyu Cai, Wouter van Joolingen and Zachary Walker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.
رده :
LB1044
.
87
380. Vehicle and automotive engineering 2 :
پدیدآورنده: Károly Jármai, Betti Bolló, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Motor vehicles-- Design and construction, Congresses.,Automotive technology & trades.,Metals technology-- metallurgy.,Motor vehicles-- Design and construction.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
TL240
